منابع مشابه
Logic Characterization of Floyd Languages
Floyd languages (FL), alias Operator Precedence Languages, have recently received renewed attention thanks to their closure properties and local parsability which allow one to apply automatic verification techniques (e.g. model checking) and parallel and incremental parsing. They properly include various other classes, noticeably Visual Pushdown languages. In this paper we provide a characteriz...
متن کاملFloyd Languages for Infinite Words Linguaggi Di Floyd per Parole Infinite
Nowadays many software systems are designed to work without interruption: for instance operating systems are required to provide continuously their services to the users, and web applications and verification of critical and concurrent systems represent a typical scenario where endless computations are involved. The behavior of systems operating forever can be formally specified by means of ω-l...
متن کاملThe Floyd-Warshall Algorithm for Shortest Paths
The Floyd-Warshall algorithm [Flo62, Roy59, War62] is a classic dynamic programming algorithm to compute the length of all shortest paths between any two vertices in a graph (i.e. to solve the all-pairs shortest path problem, or APSP for short). Given a representation of the graph as a matrix of weights M , it computes another matrix M ′ which represents a graph with the same path lengths and c...
متن کاملProgram Algebras with Monotone Floyd-Hoare Composition
In the paper special program algebras of partial predicates and functions are described. Such algebras form a semantic component of a modified Floyd-Hoare logic constructed on the base of a composition-nominative approach. According to this approach, Floyd-Hoare assertions are presented with the help of a special composition called Floyd-Hoare composition. Monotonicity and continuity of this co...
متن کاملImportance Sampling with Floyd-Steinberg Halftoning
This paper proposes a deterministic importance sampling algorithm for complex integrands. The idea is based on the recognition that halftoning algorithms are equivalent to importance sampling if the gray-scale image and a resulting white pixel are considered as the target importance function and the sampling position, respectively. We adopt the Floyd-Steinberg halftoning algorithm, extend it to...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: The Annals of Iowa
سال: 1921
ISSN: 0003-4827,2473-9006
DOI: 10.17077/0003-4827.4216